$\forall$$a$:\{$\ldots\,$0\}, $n$:$\mathbb{N}^{+}$. ($a$ rem $n$) = ({-}(({-}$a$) rem $n$))